R. Goré; "Tableau Methods for Modal and Temporal Logics"
Rajeev Goré
https://www.inf.ufpr.br/marcos/ci311/Gore_Tableau_methods_for_modal_and_temporal_logics.pdf
ドラフト番